forcing condition

力迫条件